home *** CD-ROM | disk | FTP | other *** search
/ Enter 2005 October / enter-2005-10.iso / files / jedit42install.exe / {app} / jars / QuickNotepad.jar / QuickNotepad.props < prev    next >
Encoding:
Text File  |  2004-08-26  |  2.0 KB  |  66 lines
  1. # Properties file for QuickNotepad plugin
  2. # $Id: QuickNotepad.props,v 1.12 2003/04/30 05:28:54 spestov Exp $
  3.  
  4. # jEdit only needs to load the plugin the first time the user accesses it
  5. # the presence of this property also tells jEdit the plugin is using the new API
  6. plugin.QuickNotepadPlugin.activate=defer
  7.  
  8. # These two properties are required for all plugins
  9. plugin.QuickNotepadPlugin.name=QuickNotepad
  10. plugin.QuickNotepadPlugin.author=John Gellene
  11.  
  12. # version number == jEdit version number
  13. plugin.QuickNotepadPlugin.version=4.2
  14.  
  15. # online help
  16. plugin.QuickNotepadPlugin.docs=index.html
  17.  
  18. # we only have one dependency, jEdit 4.2, since we use the new plugin API
  19. plugin.QuickNotepadPlugin.depend.0=jedit 04.02.01.00
  20.  
  21. # plugin menu
  22. plugin.QuickNotepadPlugin.menu=quicknotepad \
  23.     - \
  24.     quicknotepad.choose-file \
  25.     quicknotepad.save-file \
  26.     quicknotepad.copy-to-buffer
  27.  
  28. # action labels for actions supplied by dockables.xml
  29. quicknotepad.label=QuickNotepad
  30.  
  31. # action labels for actions supplied by actions.xml
  32. quicknotepad.choose-file.label=Choose notepad file
  33. quicknotepad.save-file.label=Save notepad file
  34. quicknotepad.copy-to-buffer.label=Copy notepad to buffer
  35.  
  36. # plugin option pane
  37. plugin.QuickNotepadPlugin.option-pane=quicknotepad
  38.  
  39. # Option pane activation BeanShell snippet
  40. options.quicknotepad.code=new QuickNotepadOptionPane();
  41.  
  42. # Option pane labels
  43. options.quicknotepad.label=QuickNotepad
  44. options.quicknotepad.file=File:
  45. options.quicknotepad.choose-file=Choose
  46. options.quicknotepad.choose-file.title=Choose a notepad file
  47. options.quicknotepad.choose-font=Font:
  48. options.quicknotepad.show-filepath.title=Display notepad file path
  49.  
  50. # window title
  51. quicknotepad.title=QuickNotepad
  52.  
  53. # window toolbar buttons
  54. quicknotepad.choose-file.icon=Open.png
  55. quicknotepad.save-file.icon=Save.png
  56. quicknotepad.copy-to-buffer.icon=CopyToBuffer.png
  57.  
  58. # default settings
  59. options.quicknotepad.show-filepath=true
  60. options.quicknotepad.font=Monospaced
  61. options.quicknotepad.fontstyle=0
  62. options.quicknotepad.fontsize=14
  63.  
  64. # Setting not defined but supplied for completeness
  65. options.quicknotepad.filepath=
  66.